Logic model - PDFSEARCH.IO - Document Search Engine

Logic model
Results: 5700

#	Item
641	Towards Efficient Satisfiability Checking for Boolean Algebra with Presburger Arithmetic Viktor Kuncak1 and Martin Rinard2 1 Ecole Politechnique F´ed´erale de Lausanne, Lausanne, VD, Switzerland Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2007-12-05 11:59:40 Logic in computer science Model theory Complexity classes Boolean algebra Electronic design automation Boolean satisfiability problem Presburger arithmetic Quantifier elimination Decision problem Theoretical computer science Computational complexity theory Applied mathematics
642	Symbolic Resource Bound Inference for Functional Programs Ravichandhran Madhavan1 and Viktor Kuncak2 1 2 Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2014-05-24 11:45:01 Formal methods Electronic design automation Logic in computer science NP-complete problems Model theory Function Boolean satisfiability problem Structure Parameter Mathematics Theoretical computer science Mathematical logic
643	WASHINGTON STATE RACE TO THE TOP— EARLY LEARNING CHALLENGE 2015 Evaluation Report Add to Reading List Source URL: www.buildinitiative.org Language: English - Date: 2015-01-16 10:28:47 Logic model Evaluation methods ExPRESS Logistics Carrier Race to the Top
644	Software Synthesis Procedures ∗ Viktor Kuncak Mikaël Mayer LARA, I&C Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2011-12-03 07:53:01 Model theory Logic in computer science Constraint programming Electronic design automation Formal methods Satisfiability Modulo Theories Boolean satisfiability problem First-order logic Interpretation Mathematical logic Theoretical computer science Mathematics
645	ATL* Satisfiability is 2EXPTIME-Complete⋆ Sven Schewe Universit¨ at des Saarlandes, 66123 Saarbr¨ ucken, Germany Add to Reading List Source URL: cgi.csc.liv.ac.uk Language: English - Date: 2008-09-22 13:34:08 Formal methods Model checking Entailment Boolean satisfiability problem Logic Theoretical computer science Deduction
646	Ruckelshaus Project Evaluation-Foster Degree Project June 2011.pdf Add to Reading List Source URL: ruckelshauscenter.wsu.edu Language: English - Date: 2013-06-06 18:47:34 Evaluation methods Ethics Impact assessment Alternative dispute resolution Mediation Program evaluation Logic model Negotiation Conflict resolution Dispute resolution Sociology Evaluation
647	Becoming aware of propositional variables Hans van Ditmarsch1 and Tim French2 1 2 Add to Reading List Source URL: www.csse.uwa.edu.au Language: English - Date: 2011-03-25 01:15:11 Modal logic Philosophical logic Theoretical computer science Model theory Logic programming Bisimulation Epistemic modal logic Interpretation Propositional variable Logic Mathematical logic Mathematics
648	The 2010 User-Friendly Handbook for Project Evaluation Add to Reading List Source URL: www.informalscience.org Language: English - Date: 2013-05-03 09:35:44 Sociology Impact assessment Program evaluation Logic model Data collection Usability Systems engineering process Empowerment evaluation Evaluation approaches Evaluation methods Evaluation Science
649	Logic Model SMART Goal: Inputs Activities Initial Outcomes Intermediate Outcomes Add to Reading List Source URL: buildingpdcapacitytoolkit.weebly.com - Date: 2013-06-05 00:52:51
650	UNDERSTANDING ‘THEORY OF CHANGE’ IN INTERNATIONAL DEVELOPMENT DEVELOPMENT: A REVIEW OF EXISTING KNOWLEDGE DANIELLE STEIN Add to Reading List Source URL: r4d.dfid.gov.uk Language: English - Date: 2012-09-25 12:01:28 Sociology Toc H Credibility Impact evaluation Logic model International development Organizational behavior International relations theory Attitude Evaluation Evaluation methods Science

UPDATE